Separation Classes of Equilogical Spaces
نویسنده
چکیده
The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category ASSM of assemblies over algebraic lattices, which is a generalisation of Scott's category EQU of equilogical spaces. In this paper, we identify cartesian closed subcategories of assemblies which correspond to well-known separation properties of topology: T 0 ,
منابع مشابه
Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces
There are two main approaches to obtaining “topological” cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed — for example, the category of sequential spaces. Under the other, one generalises the notion of space — for example, to Scott’s notion of equilogical space. In this paper we show that the two appr...
متن کاملEquilogical Spaces, Homology and Noncommutative Geometry ( * )
After introducing singular homology for D. Scott's equilogical spaces [Sc], we show how these structures can express 'formal quotients' of topological spaces, which do not exist as ordinary spaces and are related with well-known noncommutative C*-algebras. This study also uses a wider notion of local maps between equilogical spaces, which might be of interest for the general theory of the latte...
متن کاملThe Largest Topological Subcategory of Countably-based Equilogical Spaces
There are two main approaches to obtaining \topological" cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed | for example, the category of sequential spaces. Under the other, one generalises the notion of space | for example, to Scott's notion of equilogical space. In this paper we show that the two appr...
متن کاملInequilogical spaces, directed homology and noncommutative geometry (*)
We introduce a preordered version of D. Scott's equilogical spaces [Sc], called inequilogical spaces, as a possible setting for Directed Algebraic Topology. The new structure can also express 'formal quotients' of spaces, which are not topological spaces and are of interest in noncommutative geometry, with finer results than the ones obtained with equilogical spaces, in a previous paper. This s...
متن کاملContinuous Functionals of Dependent Types and Equilogical Spaces
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent products in equilogical spaces, and thus also in the realizability topos RT(Pω).
متن کامل